Все словари русского языка: Толковый словарь, Словарь синонимов, Словарь антонимов, Энциклопедический словарь, Академический словарь, Словарь существительных, Поговорки, Словарь русского арго, Орфографический словарь, Словарь ударений, Трудности произношения и ударения, Формы слов, Синонимы, Тезаурус русской деловой лексики, Морфемно-орфографический словарь, Этимология, Этимологический словарь, Грамматический словарь, Идеография, Пословицы и поговорки, Этимологический словарь русского языка.

тарский альфред

Энциклопедический словарь

Та́рский Альфред (Tarski) (1902-1983), логик и математик, один из главных представителей львовско-варшавской школы. С 1939 в США. Труды по логико-алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как дедуктивной теории.

* * *

ТАРСКИЙ Альфред - ТА́РСКИЙ (Tarski) Альфред (1902-83), польский и американский логик и математик, один из главных представителей львовско-варшавской школы. С 1939 в США. Труды по логико-алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как дедуктивной теории.

Словарь народов и культуры

Тарский Альфред

(Tarski, Alfred) (1902-83), польск. математик, логик и философ. Получил известность благодаря своим работам 1930-х гг. о понятиях истины и логического следования (вошли в издание 1972 г.: Логика, семантика и метаматематика), крые составляют лишь небольшую часть его достижений в математике. Т. показал, как математически точно определить филос. понятия, во всяком случае в той мере, в какой они приложимы к формальным яз., используемым, напр., в арифметике и теории множеств. Первой реакцией философов было ощущение того, что они разом освободились от традиц. затруднений, связанных с проблемой истины. Но впоследствии, когда отношение к этой концепции стало более трезвым, философы выразили сомнение в ее адекватности теории истины как когерентной и согласованной системы.

Полезные сервисы